专题研究N967：区块链人物Georgios Konstantopoulos

按：区块链人物，Georgios Konstantopoulos，
@gakonst，
very greek accent. research, engineering & investments
@paradigm，
. optimist.
Thessaloniki, Greece，gakonst.com/about，2016年12月加入，
821 正在关注，
2.2万关注者，

ICYMI，我们写了关于合并之后的链重组。
TL;DR：随机将验证者改组到具有平行证明的大型委员会，使得有意重组更难执行，而以太坊的 GASPER 与 Nakamoto PoW 的股份不到 50%，如果上面看起来像沙拉的话，你可以阅读这篇文章！提供有关分叉选择规则、重组、委员会、证明等的上下文。
下午6:08 · 2021年7月21日

Geth 研讨会由
@optimismPBC
在巴黎是今天。
这可能是本周信号最强的事件之一，如果你想了解更多关于核心以太坊基础设施的信息，你必须参加。https://www.notion.so/Geth-Workshop-Paris-July-21-2021-6b2ab11b7ce7406ab30cefb24ea25ec2，
下午4:25 · 2021年7月21日

将在周日晚上 (gmt+3) 尝试在 Rust Dark Forest 无头客户端上进行流式开发。
Stream 将专注于使 Circom 与 Arkworks 兼容，以便我们可以计算扩展帝国的 SNARK，
most of the code will be inspired by:
https://github.com/poma/zkutil，
https://github.com/iden3/go-circom-prover-verifier/，
目前正在阅读有关如何从 Rust 调用已编译的 wasm 的 wasmer 文档 - 不太复杂，但怀疑将花费大量时间来找出“正确”的 api 调用https://docs.rs/wasmer/2.0.0/wasmer/，
可以为简单的电路生成正确的见证，需要更多的测试并且仍然存在一些边缘情况，但有希望的进展：更新，它有效！具有与 snarkjs + go 端口相同的见证输出，对于来自https://github.com/iden3/go-circom-witnesscalc/tree/master/test_files：
更新，可以生成 circom 约束以及 groth16 证明 + 验证它们（https://github.com/gakonst/dark-forest/blob/master/crates/ark-circom/tests/groth16.rs ）！
所有的细节都被很好地抽象掉了。
现在让它与 Solidity 智能合约兼容......
有用！
https://github.com/gakonst/dark-forest/blob/master/crates/ark-circom/tests/solidity.rs#L17-L71，
现在可以根据 Solidity 合约验证 Arkworks 的证明。
接下来，解析 Dark Forest 证明密钥并发出 Move 命令，
@kobigurk
带有保存 PR，它允许我们最终使用从 zkey 文件中读取的证明密钥生成证明 - 多么他妈的传奇，上午3:10 · 2021年7月21日

我不会在附近#EthCC但
@caseykcaruso
来自我们的团队将是，所以如果你想聊天，一定要联系她！

任何时间
@hasufl
准备他对帖子的回复

谦虚胜过骄傲和自负——说得好。

Uniswap 本周推出的 Optimism 是一件大事。
加入
@haydenzadams
,
@jinglanW
,
@ben_chain
,
@karl_dot_tech
,
@danrobinson
和我在美国东部时间下午 6 点 / 太平洋时间下午 3 点讨论最大的 DApp 在 L2 上的部署以及接下来会发生什么。上午3:14 · 2021年7月16日

所有新的 Lido 储户现在都将拥有智能合约提款凭证，而不是 11 个 DKG 中的 6 个 BLS！

股权确实是王道，但初创公司希望长期保持一致。
承包商是雇佣兵。作为承包商，我在 2018 年至 2020 年期间尝试了两种建议的想法，但从未奏效。
初创公司不只是放弃股权(...除非他们在进行流动性挖掘？）

对于仍在阅读有关 reorgs 的人们，这是另一篇很棒的技术文章https://blog.coinbase.com/coinbases-perspective-on-the-recent-ethereum-classic-etc-double-spend-incidents-1fd19ef215f3?gi=37b4da428122

期待已久的重大里程碑终于来了！
这是过去几个月努力工作的结果。
恭喜
@optimismPBC
和
@Uniswap
.
L2 DeFi 夏季开始？
乐观主义不会是第一个推销某些东西的东西感谢加密推特的智慧，无论如何我们都会建立，

看起来像 MEV Inspect Rust (https://github.com/flashbots/mev-inspect-rs/ ，我写的后端，它为后面的数据库提供动力https://explore.flashbots.net) 将很快被 Python 版本 (https://github.com/flashbots/mev-inspect-py ）让更多的人可以为照亮黑暗森林做出贡献！

我们在直播中浏览有趣的论文并一起注释/讨论它们？@ameensol
不久前用等离子纸做了它，当时人们似乎喜欢它..

对于过去几天仍在关注 PoW 激励操纵讨论的人们，这是另一篇关于如何跨网络行贿的论文，
(
@alexeiZamyatin
你无处不在）https://eprint.iacr.org/2019/775.pdf

当然有
@paradigm_ctf
对此提出挑战https://github.com/paradigm-operations/paradigm-ctf-2021/tree/master/babycrypto，
这是我最喜欢的关于该主题的实践教育资源https://github.com/tintinweb/ecdsa-private-key-recovery

蒸汽下一个 1500 万，AMA 区块链安全，https://twitch.tv/gakonst questions here or in chat

你们都在谈论共识安全但还没有阅读任何论文 wtf，
上午9:30 · 2021年7月11日·

另一篇优秀论文：
“SoK：对无许可 PoW 加密货币的算法激励操纵攻击”
(
@alexeiZamyatin
)
https://eprint.iacr.org/2020/1614.pdf

继续我们的共识安全资源建议，让我建议一些我真正尊重的加密 OG 的“贿赂矿工的智能合约”（眼睛
@stonecoldpat0
)https://eprint.iacr.org/2018/581.pdf

星期六是大喊大叫。
给我推荐加密领域最好的生产建设者——他们的代码必须有很好的测试和文档

建筑格言：
咆哮着说某些东西不是很好，直到你足够倾斜以至于你自己建造它，因为没有其他人会，
我知道
@_prestwich
确实是这样，有时咆哮会被视为令人讨厌，但现实是我们咆哮是为了让我们软件的消费者不需要咆哮，
这家伙不喜欢 Solidity 没有一个很好的无副本界面来获取字节数组的安全视图，所以他构建了https://github.com/summa-tx/memview-sol，
更不用说所有正确的跨链中继软件的工作导致的

许多关于 ZK 证明的研究将受益于与电路语言的端到端集成（例如
@CairoLang
, Circom) 和 EVM 兼容的验证器（例如 Zokrates 著名的 Solidity 验证器，现在是每个 gro16 验证器的标准）。
每当我看到一篇带有新结构的论文时，我都会想“好吧，我如何将它与我过去编写的软件一起使用？”。
我认为我们还没有到需要标准化的地步（获胜的设计设定了标准 imo，设计仍在快速迭代），
但是提供良好的工具来弥合学术界和工程师之间的差距至关重要。
使用流行编程语言中论文 X 的证明系统/技术的安全和非泄漏抽象是必须的，
我过去曾为实际应用编写过 ZK 代码。
查看我们的工作
@kobigurk
上：
- Celo 的压缩 BLS 证明https://github.com/celo-org/celo-bls-snark-rs/https://celo.org/papers/plumo，
- SNARK 化的 PoW：https://github.com/AleoHQ/snarkVM/tree/master/posw/ /，每个论文作者都应该努力实现他们的论文。
它让你确信协议是正确的，让你在从抽象到具体的过程中找出优化方法。
它还使得> 10 个人会费心阅读和理解你的作品。
大喊大叫
@zkproofs
因为他的工作
@arkworks_rs
这是 IMO 最令人兴奋（和广泛）的一组开源库，供非野兽密码学家编写高性能和复杂的代码，同时公开我见过的最安全的抽象，
但我们还可以做得更好！
我觉得社区中代表性不足的另一个群体是
@novi
的团队，例如见
@kostascrypto
和
@bobbinth
的 STARK 证明者https://github.com/novifinancial/winterfell（希望写出
@CairoLang
AIR 最终）

鉴于人们再次开始谈论区块链安全 ^ TM，我建议阅读
@hasufl
洋葱模型 - 一个永恒的作品：
https://insights.deribit.com/market-research/the-onion-model-of-blockchain-security-part-1/，

永恒的，
发表于 2020 年 4 月 11 日，
基本上是 5 年前，它是永恒的，好吗？

新的 Solidity 编译器错误已解锁

我们写了一篇文章
@lakshmansankar
在一种新型的 Eth2 提款凭证上。
这将允许用户无需信任地退出他们的抵押资金，即使他们已将其委托给不属于他们的验证者。
欢迎反馈！cc
@dannyryan
@CarlBeek
@dankrad

快速写了一篇关于这个主题的文章，这样我们就可以开始讨论
@LidoFinance
保险的下一步。
https://research.lido.fi/t/should-lido-use-third-party-insurance-providers/757，
opened a snapshot poll after a quite lively discussion，
https://snapshot.org/#/lido-snapshot.eth/proposal/QmQqBDnWGUcvQQCS7FPFe8rSP5TeWXF1qdUqfM18G82zMy

真正的超级用户不发送测试交易

专家提示：
不写代码，偶尔写一些测试和文档，
你未来的自己和队友会感谢你，
如果您不费吹灰之力就无法为您的代码编写“好的”测试，那么就应该进行重构，
作为开源贡献者，如果您知道如何：
1. 重构以提高代码可读性/可重用性，
2. 添加文档，
3.添加有意义的测试，
你不需要成为专家:)，
下午6:35 · 2021年7月7日

非常兴奋
@_anishagnihotri
加入
@paradigm
家庭。
是时候建造了

去年我们进行了讨论，认为这是采用 Flashbots 的主要风险。
在某些时间段内这可能是真的，但 Flashbots 已经开启了一个蓝海的链上操作，这些操作在以前风险太大而无法可靠地执行。
如果你缩小，我不认为这是真的，
我知道了。或许你是对的。对此有何想法？（机器人出价导致人类出价无止境），
我认为机器人可能导致人类出价过高，是的，很难知道这是否是天然气价格的主导因素。
我认为对今天的天然气价格最好的解释就是整个桌子的销量都较低，而且周围的猿养殖场也较少，
是的，真的，很难说。但如果机器人出价是负责任的，那么 FB 是一个解决方案。因为 FB 变得流行和汽油价格下降之间存在某种相关性down.
可能需要看看当 FB 存在时每个钱包如何估计 gasprice。

如何防止一个帐户扮演另一个帐户耗尽您的 Solana SDK 合同

我同意这一点 - 特别是。对于应用程序，您不能指望边缘开发人员对如何在他们的应用程序中最小化 MEV 有任何想法（或关心），他们只是想要那个甜蜜的 TVL，理想情况下，MEV 缓解将属于 DApp 开发人员的“必需”技能，类似于今天的智能合约安全性，但对我来说障碍似乎更高。

尊重修改自己的意见 - 并强烈同意 who 可以提取它之间的区别。
在 Avalanche 等无领导协议或 Solana 等无内存池协议中，我怀疑 MEV 只会存在于区块生产者/DAG 构建者级别

至于我的一天过得怎么样，我在> 4000 行 Rust 代码重新实现了 Dark Forest 以在没有浏览器的情况下工作，以最大限度地提高脚本编写能力，
也许可以用于第三轮，
重构并进行了一些清理，仍然非常原始并且缺少很多东西，但到目前为止进展良好，
也只有 750 行错误地计算了代码生成的绑定，哎呀，我如何对这个东西进行单元测试...
到目前为止取得了一些不错的进展，通过修改 Web 客户端来添加测试以记录测试数据，将它们转储到测试向量文件，然后将它们解析为表测试https://github.com/gakonst/dark-forest/blob/master/src/types/planet/conversion.rs#L227-L250,

解决defi保险就相当于“解决”了oracle问题改变了我的想法，
下午3:08 · 2021年6月30日

这么多关于加密货币中的社交代币/预测市场的讨论，但没有人谈论过 Twitch 的频道点数，
https://help.twitch.tv/s/article/channel-points-predictions?language=en_US

现在我得帮这个 lvl4 Foundry 充值到 37k 能量来获得神器，我们走吧，从字面上看，我与之交谈过的每个人都玩过> 1小时#DarkForest说他们害怕他们的工作效率会降为零，因为这太他妈上瘾了

验证我的
@darkforest_eth
v0.6 帐号（https://zkga.me): 0xb6c9d0fbbcfc8a1a6d7b5a7b2511528268d84dbe3cd692d6aacfd7c62816ba984085b0258076efb7d63e7884eae803da196046e3a1960408e1960408e1960406e16e1960408e16

eth cryptotwitter今天沉默了，大家可能都在玩
@darkforest_eth，下午6:37 · 2021年6月29日

黑暗森林 v0.6 第 2 轮今天开始，
第一批白名单密钥刚刚发出；检查你的收件箱

MEV 爱好者大大高估了多少<内存池的 1 秒延迟和全局视图很重要。
他们还低估了追求不那么拥挤的机会，这可能_似乎_利润较低，但由于你放弃了较少的利润给竞争/矿工最终变得更好

我认为随着 DeFi 生态系统开始在非以太坊网络上真正启动，原子交换将作为跨链非托管交换的方式回归

所有参加的人！这是迄今为止取得进展的分支https://github.com/gakonst/ethers-rs/commits/feat/typed-transactions，
交易被正确提交/序列化，但显然 Geth 默认为 0x2 类型，Ganache 尚不支持 Berlin (lol) 并且 Hardhat 似乎不理解我的 0x1 tx，
所以我们无法很好地了解我们的代码是否有效。我希望能调试安全帽问题（可能是我的问题），下次将继续使用其余的代码库和 1559，

这不是欺骗，它只是一个“限价单”，并且没有任何费用操纵，
请在发推和转推之前进行批判性思维，或适当警告。
上午1:23 · 2021年6月28日

每个人都在招聘 Solidity 开发人员。
但是，毫无疑问，DeFi 的 Solidity 很难，如果您聘请初级开发人员执行高级任务（例如，由于市场短缺），这对您的项目来说可能是灾难性的。
从中得出的结论可能是，建立 NFT 初创公司更容易，因为它不涉及复杂的智能合约逻辑，而更多地涉及构建出色的体验，这对我来说似乎（或不？）比理解和能够实施数学更容易
下午8:29 · 2021年6月27日

Mainnet:
https://optimism-mainnet.infura.io/v3/，
Kovan:
https://optimism-kovan.infura.io/v3/

您是否认为在 Eth2 权益池（例如
@LidoFinance
) 重要吗？
通过简单的验证器设置可以避免双重签名，并且活跃度惩罚很低，所以我怀疑实际的保险收益可能是微不足道的
下午7:56 · 2021年6月25日

Ropsten 现在运行 EIP-1559，所有以太坊库维护者都应该尽快添加对 EIP1559 交易类型的支持。
我将在本周末将其添加到 ethers-rs